Contract-Based Web Service Composition Framework with Correctness Guarantees
نویسنده
چکیده
We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic description models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect to properties described in service contracts. We also describe Java-based implementation of the system, concentrated around Sun’s Java Web Services Development Pack (JWSDP). Indexed terms: Web services, composition, correctness, contracts
منابع مشابه
A theorem proving framework for the formal verification of Web Services Composition
We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into π-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested co...
متن کاملVerifying Correctness of Web Service Composition
We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the flow of partner services, according to the specified goal. We show an alternative approach to Web service composition, where partners are modeled as state machines and composed into a single resulting state machine, which guarantees functional and non-functional prope...
متن کاملMonotonicity in Service Orchestrations
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS) to the orchestrator, usually in the form of contracts. These contracts can then be used by the orchestrator to deduce the contract it can offer to its own clients, by performing contract composition. An implicit mono...
متن کاملQoS-Based web service composition based on genetic algorithm
Quality of service (QoS) is an important issue in the design and management of web service composition. QoS in web services consists of various non-functional factors, such as execution cost, execution time, availability, successful execution rate, and security. In recent years, the number of available web services has proliferated, and then offered the same services increasingly. The same web ...
متن کاملContract based Web service composition
Service-oriented architecture (SOA) is focused on building loosely coupled distributed systems with minimal shared understanding among system components. The main building blocks in SOA are services. Services are selfdescriptive, self-contained, platform-independent and openly-available components that interact over the network. The main goal of SOA is transparent, flexible and dynamic interact...
متن کامل